Nuprl Definition : fpf-vals
11,40
postcript
pdf
fpf-vals(
eq
;
P
;
f
) == let
L
= filter(
P
; remove-repeats(
eq
; (
f
.1))) in zip(
L
; map((
f
.2);
L
))
latex
Definitions
let
x
=
a
in
b
(
x
)
,
filter(
P
;
l
)
,
remove-repeats(
eq
;
L
)
,
t
.1
,
zip(
as
;
bs
)
,
map(
f
;
as
)
,
t
.2
FDL editor aliases
fpf-vals
origin